<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>
<title>SearchMgr</title>
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
</head>
<body>
<script type="text/javascript"><!--
    if (location.href.indexOf('is-external=true') == -1) {
        parent.document.title="SearchMgr";
    }
//-->
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar_top">
<!--   -->
</a><a href="#skip-navbar_top" title="Skip navigation links"></a><a name="navbar_top_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/search/SearchJTextFieldPopupMenuListener.html" title="class in mmj.search"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/search/SearchOptionsButtonAttr.html" title="class in mmj.search"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/search/SearchMgr.html" target="_top">Frames</a></li>
<li><a href="SearchMgr.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_detail">Method</a></li>
</ul>
</div>
<a name="skip-navbar_top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">mmj.search</div>
<h2 title="Class SearchMgr" class="title">Class SearchMgr</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li>java.lang.Object</li>
<li>
<ul class="inheritance">
<li>mmj.search.SearchMgr</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<br>
<pre>public class <span class="strong">SearchMgr</span>
extends java.lang.Object</pre>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colOne" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colOne"><code><strong><a href="../../mmj/search/SearchMgr.html#SearchMgr(mmj.pa.ProofAsstPreferences)">SearchMgr</a></strong>(<a href="../../mmj/pa/ProofAsstPreferences.html" title="class in mmj.pa">ProofAsstPreferences</a>&nbsp;proofAsstPreferences)</code>&nbsp;</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method_summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span>Methods</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#decreaseSearchOptionsFontSize()">decreaseSearchOptionsFontSize</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#decreaseSearchResultsFontSize()">decreaseSearchResultsFontSize</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execApplySearchSelection(int)">execApplySearchSelection</a></strong>(int&nbsp;i)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execCancelRequestAction()">execCancelRequestAction</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execMockupSearchOptions()">execMockupSearchOptions</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execMockupSearchOptions(mmj.pa.ProofWorksheet)">execMockupSearchOptions</a></strong>(<a href="../../mmj/pa/ProofWorksheet.html" title="class in mmj.pa">ProofWorksheet</a>&nbsp;proofWorksheet)</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execMockupSearchResults()">execMockupSearchResults</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code><a href="../../mmj/search/SearchOutput.html" title="class in mmj.search">SearchOutput</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execRefineSearch()">execRefineSearch</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execReshowProofAsstGUI()">execReshowProofAsstGUI</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execReshowSearchOptions()">execReshowSearchOptions</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execReshowSearchResults()">execReshowSearchResults</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code><a href="../../mmj/search/SearchOutput.html" title="class in mmj.search">SearchOutput</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execSearch()">execSearch</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execSearchOptionsDecreaseFontSize()">execSearchOptionsDecreaseFontSize</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execSearchOptionsIncreaseFontSize()">execSearchOptionsIncreaseFontSize</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execSearchOptionsNewGeneralSearch(mmj.lang.Stmt)">execSearchOptionsNewGeneralSearch</a></strong>(<a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&nbsp;stmt)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execSearchResultsDecreaseFontSize()">execSearchResultsDecreaseFontSize</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execSearchResultsIncreaseFontSize()">execSearchResultsIncreaseFontSize</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execShowSearchOptions()">execShowSearchOptions</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execShowSearchOptions(mmj.pa.ProofWorksheet)">execShowSearchOptions</a></strong>(<a href="../../mmj/pa/ProofWorksheet.html" title="class in mmj.pa">ProofWorksheet</a>&nbsp;proofWorksheet)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execShowSearchOptionsErrors()">execShowSearchOptionsErrors</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execShowSearchOptionsPopupMessage(java.lang.String)">execShowSearchOptionsPopupMessage</a></strong>(java.lang.String&nbsp;s)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execShowSearchResults()">execShowSearchResults</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execShowSearchResultsPopupMessage(java.lang.String)">execShowSearchResultsPopupMessage</a></strong>(java.lang.String&nbsp;s)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code><a href="../../mmj/search/SearchOutput.html" title="class in mmj.search">SearchOutput</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#execStepSearch(mmj.pa.DerivationStep)">execStepSearch</a></strong>(<a href="../../mmj/pa/DerivationStep.html" title="class in mmj.pa">DerivationStep</a>&nbsp;derivationStep)</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code><a href="../../mmj/lang/BookManager.html" title="class in mmj.lang">BookManager</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getBookManager()">getBookManager</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code><a href="../../mmj/lang/ScopeFrame.html" title="class in mmj.lang">ScopeFrame</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getComboFrame()">getComboFrame</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code><a href="../../mmj/verify/Grammar.html" title="class in mmj.verify">Grammar</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getGrammar()">getGrammar</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code><a href="../../mmj/lang/LogicalSystem.html" title="class in mmj.lang">LogicalSystem</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getLogicalSystem()">getLogicalSystem</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code><a href="../../mmj/pa/ProofAsst.html" title="class in mmj.pa">ProofAsst</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getProofAsst()">getProofAsst</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code><a href="../../mmj/pa/ProofAsstPreferences.html" title="class in mmj.pa">ProofAsstPreferences</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getProofAsstPreferences()">getProofAsstPreferences</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code><a href="../../mmj/lang/Cnst.html" title="class in mmj.lang">Cnst</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getProvableLogicStmtTyp()">getProvableLogicStmtTyp</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code><a href="../../mmj/search/SearchArgs.html" title="class in mmj.search">SearchArgs</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getSearchArgs()">getSearchArgs</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>java.awt.Font</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getSearchOptionsFont()">getSearchOptionsFont</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getSearchOptionsFontSize()">getSearchOptionsFontSize</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code><a href="../../mmj/search/SearchOutput.html" title="class in mmj.search">SearchOutput</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getSearchOutput()">getSearchOutput</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>java.awt.Font</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getSearchResultsFont()">getSearchResultsFont</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getSearchResultsFontSize()">getSearchResultsFontSize</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>java.awt.Dimension</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getSearchSelectionPreferredSize()">getSearchSelectionPreferredSize</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code><a href="../../mmj/search/SearchUnifier.html" title="class in mmj.search">SearchUnifier</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getSearchUnifier()">getSearchUnifier</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getStepSearchMode()">getStepSearchMode</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code><a href="../../mmj/pa/StepUnifier.html" title="class in mmj.pa">StepUnifier</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getStepUnifier()">getStepUnifier</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code><a href="../../mmj/lang/WorkVarManager.html" title="class in mmj.lang">WorkVarManager</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#getWorkVarManager()">getWorkVarManager</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#increaseSearchOptionsFontSize()">increaseSearchOptionsFontSize</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#increaseSearchResultsFontSize()">increaseSearchResultsFontSize</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#initOtherEnvAreas(mmj.pa.ProofAsst, mmj.lang.LogicalSystem, mmj.verify.Grammar, mmj.verify.VerifyProofs, mmj.lang.Messages)">initOtherEnvAreas</a></strong>(<a href="../../mmj/pa/ProofAsst.html" title="class in mmj.pa">ProofAsst</a>&nbsp;proofAsst,
                 <a href="../../mmj/lang/LogicalSystem.html" title="class in mmj.lang">LogicalSystem</a>&nbsp;logicalSystem,
                 <a href="../../mmj/verify/Grammar.html" title="class in mmj.verify">Grammar</a>&nbsp;grammar,
                 <a href="../../mmj/verify/VerifyProofs.html" title="class in mmj.verify">VerifyProofs</a>&nbsp;verifyProofs,
                 <a href="../../mmj/lang/Messages.html" title="class in mmj.lang">Messages</a>&nbsp;messages)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#popupMessageSearchOptionsTestMode()">popupMessageSearchOptionsTestMode</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#popupMessageSearchResultsTestMode()">popupMessageSearchResultsTestMode</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#reformatMessage(java.lang.String)">reformatMessage</a></strong>(java.lang.String&nbsp;s)</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#searchOptionsCancelButtonPressed()">searchOptionsCancelButtonPressed</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#searchOptionsMinusButtonPressed()">searchOptionsMinusButtonPressed</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#searchOptionsNewButtonPressed()">searchOptionsNewButtonPressed</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#searchOptionsPAButtonPressed()">searchOptionsPAButtonPressed</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#searchOptionsPlusButtonPressed()">searchOptionsPlusButtonPressed</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#searchOptionsRefineButtonPressed()">searchOptionsRefineButtonPressed</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#searchOptionsSearchButtonPressed()">searchOptionsSearchButtonPressed</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#searchOptionsSRButtonPressed()">searchOptionsSRButtonPressed</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#searchResultsApplyButtonPressed()">searchResultsApplyButtonPressed</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#searchResultsCancelButtonPressed()">searchResultsCancelButtonPressed</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#searchResultsMinusButtonPressed()">searchResultsMinusButtonPressed</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#searchResultsPAButtonPressed()">searchResultsPAButtonPressed</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#searchResultsPlusButtonPressed()">searchResultsPlusButtonPressed</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#searchResultsSOButtonPressed()">searchResultsSOButtonPressed</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#showSearchOptionsHelp()">showSearchOptionsHelp</a></strong>()</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/search/SearchMgr.html#showSearchResultsHelp()">showSearchResultsHelp</a></strong>()</code>&nbsp;</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods_inherited_from_class_java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.Object</h3>
<code>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="SearchMgr(mmj.pa.ProofAsstPreferences)">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>SearchMgr</h4>
<pre>public&nbsp;SearchMgr(<a href="../../mmj/pa/ProofAsstPreferences.html" title="class in mmj.pa">ProofAsstPreferences</a>&nbsp;proofAsstPreferences)</pre>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method_detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="reformatMessage(java.lang.String)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>reformatMessage</h4>
<pre>public static&nbsp;java.lang.String&nbsp;reformatMessage(java.lang.String&nbsp;s)</pre>
</li>
</ul>
<a name="initOtherEnvAreas(mmj.pa.ProofAsst, mmj.lang.LogicalSystem, mmj.verify.Grammar, mmj.verify.VerifyProofs, mmj.lang.Messages)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>initOtherEnvAreas</h4>
<pre>public&nbsp;void&nbsp;initOtherEnvAreas(<a href="../../mmj/pa/ProofAsst.html" title="class in mmj.pa">ProofAsst</a>&nbsp;proofAsst,
                     <a href="../../mmj/lang/LogicalSystem.html" title="class in mmj.lang">LogicalSystem</a>&nbsp;logicalSystem,
                     <a href="../../mmj/verify/Grammar.html" title="class in mmj.verify">Grammar</a>&nbsp;grammar,
                     <a href="../../mmj/verify/VerifyProofs.html" title="class in mmj.verify">VerifyProofs</a>&nbsp;verifyProofs,
                     <a href="../../mmj/lang/Messages.html" title="class in mmj.lang">Messages</a>&nbsp;messages)</pre>
</li>
</ul>
<a name="execSearchOptionsNewGeneralSearch(mmj.lang.Stmt)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execSearchOptionsNewGeneralSearch</h4>
<pre>public&nbsp;void&nbsp;execSearchOptionsNewGeneralSearch(<a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&nbsp;stmt)</pre>
</li>
</ul>
<a name="execStepSearch(mmj.pa.DerivationStep)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execStepSearch</h4>
<pre>public&nbsp;<a href="../../mmj/search/SearchOutput.html" title="class in mmj.search">SearchOutput</a>&nbsp;execStepSearch(<a href="../../mmj/pa/DerivationStep.html" title="class in mmj.pa">DerivationStep</a>&nbsp;derivationStep)</pre>
</li>
</ul>
<a name="execSearch()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execSearch</h4>
<pre>public&nbsp;<a href="../../mmj/search/SearchOutput.html" title="class in mmj.search">SearchOutput</a>&nbsp;execSearch()</pre>
</li>
</ul>
<a name="execCancelRequestAction()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execCancelRequestAction</h4>
<pre>public&nbsp;java.lang.String&nbsp;execCancelRequestAction()</pre>
</li>
</ul>
<a name="execRefineSearch()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execRefineSearch</h4>
<pre>public&nbsp;<a href="../../mmj/search/SearchOutput.html" title="class in mmj.search">SearchOutput</a>&nbsp;execRefineSearch()</pre>
</li>
</ul>
<a name="execShowSearchResults()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execShowSearchResults</h4>
<pre>public&nbsp;void&nbsp;execShowSearchResults()</pre>
</li>
</ul>
<a name="execMockupSearchResults()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execMockupSearchResults</h4>
<pre>public&nbsp;void&nbsp;execMockupSearchResults()</pre>
</li>
</ul>
<a name="execShowSearchOptions(mmj.pa.ProofWorksheet)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execShowSearchOptions</h4>
<pre>public&nbsp;void&nbsp;execShowSearchOptions(<a href="../../mmj/pa/ProofWorksheet.html" title="class in mmj.pa">ProofWorksheet</a>&nbsp;proofWorksheet)</pre>
</li>
</ul>
<a name="execMockupSearchOptions(mmj.pa.ProofWorksheet)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execMockupSearchOptions</h4>
<pre>public&nbsp;void&nbsp;execMockupSearchOptions(<a href="../../mmj/pa/ProofWorksheet.html" title="class in mmj.pa">ProofWorksheet</a>&nbsp;proofWorksheet)</pre>
</li>
</ul>
<a name="execShowSearchOptions()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execShowSearchOptions</h4>
<pre>public&nbsp;void&nbsp;execShowSearchOptions()</pre>
</li>
</ul>
<a name="execMockupSearchOptions()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execMockupSearchOptions</h4>
<pre>public&nbsp;void&nbsp;execMockupSearchOptions()</pre>
</li>
</ul>
<a name="execShowSearchOptionsErrors()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execShowSearchOptionsErrors</h4>
<pre>public&nbsp;void&nbsp;execShowSearchOptionsErrors()</pre>
</li>
</ul>
<a name="execReshowSearchOptions()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execReshowSearchOptions</h4>
<pre>public&nbsp;void&nbsp;execReshowSearchOptions()</pre>
</li>
</ul>
<a name="execReshowSearchResults()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execReshowSearchResults</h4>
<pre>public&nbsp;void&nbsp;execReshowSearchResults()</pre>
</li>
</ul>
<a name="execApplySearchSelection(int)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execApplySearchSelection</h4>
<pre>public&nbsp;void&nbsp;execApplySearchSelection(int&nbsp;i)</pre>
</li>
</ul>
<a name="execReshowProofAsstGUI()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execReshowProofAsstGUI</h4>
<pre>public&nbsp;void&nbsp;execReshowProofAsstGUI()</pre>
</li>
</ul>
<a name="execShowSearchOptionsPopupMessage(java.lang.String)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execShowSearchOptionsPopupMessage</h4>
<pre>public&nbsp;void&nbsp;execShowSearchOptionsPopupMessage(java.lang.String&nbsp;s)</pre>
</li>
</ul>
<a name="execShowSearchResultsPopupMessage(java.lang.String)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execShowSearchResultsPopupMessage</h4>
<pre>public&nbsp;void&nbsp;execShowSearchResultsPopupMessage(java.lang.String&nbsp;s)</pre>
</li>
</ul>
<a name="execSearchOptionsIncreaseFontSize()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execSearchOptionsIncreaseFontSize</h4>
<pre>public&nbsp;void&nbsp;execSearchOptionsIncreaseFontSize()</pre>
</li>
</ul>
<a name="execSearchOptionsDecreaseFontSize()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execSearchOptionsDecreaseFontSize</h4>
<pre>public&nbsp;void&nbsp;execSearchOptionsDecreaseFontSize()</pre>
</li>
</ul>
<a name="execSearchResultsIncreaseFontSize()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execSearchResultsIncreaseFontSize</h4>
<pre>public&nbsp;void&nbsp;execSearchResultsIncreaseFontSize()</pre>
</li>
</ul>
<a name="execSearchResultsDecreaseFontSize()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execSearchResultsDecreaseFontSize</h4>
<pre>public&nbsp;void&nbsp;execSearchResultsDecreaseFontSize()</pre>
</li>
</ul>
<a name="popupMessageSearchOptionsTestMode()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>popupMessageSearchOptionsTestMode</h4>
<pre>public&nbsp;boolean&nbsp;popupMessageSearchOptionsTestMode()</pre>
</li>
</ul>
<a name="searchOptionsSearchButtonPressed()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>searchOptionsSearchButtonPressed</h4>
<pre>public&nbsp;void&nbsp;searchOptionsSearchButtonPressed()</pre>
</li>
</ul>
<a name="searchOptionsCancelButtonPressed()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>searchOptionsCancelButtonPressed</h4>
<pre>public&nbsp;void&nbsp;searchOptionsCancelButtonPressed()</pre>
</li>
</ul>
<a name="searchOptionsNewButtonPressed()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>searchOptionsNewButtonPressed</h4>
<pre>public&nbsp;void&nbsp;searchOptionsNewButtonPressed()</pre>
</li>
</ul>
<a name="searchOptionsRefineButtonPressed()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>searchOptionsRefineButtonPressed</h4>
<pre>public&nbsp;void&nbsp;searchOptionsRefineButtonPressed()</pre>
</li>
</ul>
<a name="searchOptionsPAButtonPressed()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>searchOptionsPAButtonPressed</h4>
<pre>public&nbsp;void&nbsp;searchOptionsPAButtonPressed()</pre>
</li>
</ul>
<a name="searchOptionsSRButtonPressed()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>searchOptionsSRButtonPressed</h4>
<pre>public&nbsp;void&nbsp;searchOptionsSRButtonPressed()</pre>
</li>
</ul>
<a name="showSearchOptionsHelp()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>showSearchOptionsHelp</h4>
<pre>public&nbsp;void&nbsp;showSearchOptionsHelp()</pre>
</li>
</ul>
<a name="searchOptionsPlusButtonPressed()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>searchOptionsPlusButtonPressed</h4>
<pre>public&nbsp;void&nbsp;searchOptionsPlusButtonPressed()</pre>
</li>
</ul>
<a name="searchOptionsMinusButtonPressed()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>searchOptionsMinusButtonPressed</h4>
<pre>public&nbsp;void&nbsp;searchOptionsMinusButtonPressed()</pre>
</li>
</ul>
<a name="increaseSearchOptionsFontSize()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>increaseSearchOptionsFontSize</h4>
<pre>public&nbsp;int&nbsp;increaseSearchOptionsFontSize()</pre>
</li>
</ul>
<a name="decreaseSearchOptionsFontSize()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>decreaseSearchOptionsFontSize</h4>
<pre>public&nbsp;int&nbsp;decreaseSearchOptionsFontSize()</pre>
</li>
</ul>
<a name="popupMessageSearchResultsTestMode()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>popupMessageSearchResultsTestMode</h4>
<pre>public&nbsp;boolean&nbsp;popupMessageSearchResultsTestMode()</pre>
</li>
</ul>
<a name="searchResultsApplyButtonPressed()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>searchResultsApplyButtonPressed</h4>
<pre>public&nbsp;void&nbsp;searchResultsApplyButtonPressed()</pre>
</li>
</ul>
<a name="searchResultsCancelButtonPressed()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>searchResultsCancelButtonPressed</h4>
<pre>public&nbsp;void&nbsp;searchResultsCancelButtonPressed()</pre>
</li>
</ul>
<a name="searchResultsPAButtonPressed()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>searchResultsPAButtonPressed</h4>
<pre>public&nbsp;void&nbsp;searchResultsPAButtonPressed()</pre>
</li>
</ul>
<a name="searchResultsSOButtonPressed()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>searchResultsSOButtonPressed</h4>
<pre>public&nbsp;void&nbsp;searchResultsSOButtonPressed()</pre>
</li>
</ul>
<a name="showSearchResultsHelp()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>showSearchResultsHelp</h4>
<pre>public&nbsp;void&nbsp;showSearchResultsHelp()</pre>
</li>
</ul>
<a name="searchResultsPlusButtonPressed()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>searchResultsPlusButtonPressed</h4>
<pre>public&nbsp;void&nbsp;searchResultsPlusButtonPressed()</pre>
</li>
</ul>
<a name="searchResultsMinusButtonPressed()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>searchResultsMinusButtonPressed</h4>
<pre>public&nbsp;void&nbsp;searchResultsMinusButtonPressed()</pre>
</li>
</ul>
<a name="increaseSearchResultsFontSize()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>increaseSearchResultsFontSize</h4>
<pre>public&nbsp;int&nbsp;increaseSearchResultsFontSize()</pre>
</li>
</ul>
<a name="decreaseSearchResultsFontSize()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>decreaseSearchResultsFontSize</h4>
<pre>public&nbsp;int&nbsp;decreaseSearchResultsFontSize()</pre>
</li>
</ul>
<a name="getSearchSelectionPreferredSize()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getSearchSelectionPreferredSize</h4>
<pre>public&nbsp;java.awt.Dimension&nbsp;getSearchSelectionPreferredSize()</pre>
</li>
</ul>
<a name="getGrammar()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getGrammar</h4>
<pre>public&nbsp;<a href="../../mmj/verify/Grammar.html" title="class in mmj.verify">Grammar</a>&nbsp;getGrammar()</pre>
</li>
</ul>
<a name="getComboFrame()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getComboFrame</h4>
<pre>public&nbsp;<a href="../../mmj/lang/ScopeFrame.html" title="class in mmj.lang">ScopeFrame</a>&nbsp;getComboFrame()</pre>
</li>
</ul>
<a name="getProvableLogicStmtTyp()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getProvableLogicStmtTyp</h4>
<pre>public&nbsp;<a href="../../mmj/lang/Cnst.html" title="class in mmj.lang">Cnst</a>&nbsp;getProvableLogicStmtTyp()</pre>
</li>
</ul>
<a name="getLogicalSystem()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getLogicalSystem</h4>
<pre>public&nbsp;<a href="../../mmj/lang/LogicalSystem.html" title="class in mmj.lang">LogicalSystem</a>&nbsp;getLogicalSystem()</pre>
</li>
</ul>
<a name="getStepSearchMode()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getStepSearchMode</h4>
<pre>public&nbsp;boolean&nbsp;getStepSearchMode()</pre>
</li>
</ul>
<a name="getProofAsst()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getProofAsst</h4>
<pre>public&nbsp;<a href="../../mmj/pa/ProofAsst.html" title="class in mmj.pa">ProofAsst</a>&nbsp;getProofAsst()</pre>
</li>
</ul>
<a name="getProofAsstPreferences()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getProofAsstPreferences</h4>
<pre>public&nbsp;<a href="../../mmj/pa/ProofAsstPreferences.html" title="class in mmj.pa">ProofAsstPreferences</a>&nbsp;getProofAsstPreferences()</pre>
</li>
</ul>
<a name="getStepUnifier()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getStepUnifier</h4>
<pre>public&nbsp;<a href="../../mmj/pa/StepUnifier.html" title="class in mmj.pa">StepUnifier</a>&nbsp;getStepUnifier()</pre>
</li>
</ul>
<a name="getSearchUnifier()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getSearchUnifier</h4>
<pre>public&nbsp;<a href="../../mmj/search/SearchUnifier.html" title="class in mmj.search">SearchUnifier</a>&nbsp;getSearchUnifier()</pre>
</li>
</ul>
<a name="getWorkVarManager()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getWorkVarManager</h4>
<pre>public&nbsp;<a href="../../mmj/lang/WorkVarManager.html" title="class in mmj.lang">WorkVarManager</a>&nbsp;getWorkVarManager()</pre>
</li>
</ul>
<a name="getSearchArgs()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getSearchArgs</h4>
<pre>public&nbsp;<a href="../../mmj/search/SearchArgs.html" title="class in mmj.search">SearchArgs</a>&nbsp;getSearchArgs()</pre>
</li>
</ul>
<a name="getSearchOutput()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getSearchOutput</h4>
<pre>public&nbsp;<a href="../../mmj/search/SearchOutput.html" title="class in mmj.search">SearchOutput</a>&nbsp;getSearchOutput()</pre>
</li>
</ul>
<a name="getBookManager()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getBookManager</h4>
<pre>public&nbsp;<a href="../../mmj/lang/BookManager.html" title="class in mmj.lang">BookManager</a>&nbsp;getBookManager()</pre>
</li>
</ul>
<a name="getSearchOptionsFont()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getSearchOptionsFont</h4>
<pre>public&nbsp;java.awt.Font&nbsp;getSearchOptionsFont()</pre>
</li>
</ul>
<a name="getSearchOptionsFontSize()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getSearchOptionsFontSize</h4>
<pre>public&nbsp;int&nbsp;getSearchOptionsFontSize()</pre>
</li>
</ul>
<a name="getSearchResultsFont()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getSearchResultsFont</h4>
<pre>public&nbsp;java.awt.Font&nbsp;getSearchResultsFont()</pre>
</li>
</ul>
<a name="getSearchResultsFontSize()">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>getSearchResultsFontSize</h4>
<pre>public&nbsp;int&nbsp;getSearchResultsFontSize()</pre>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar_bottom">
<!--   -->
</a><a href="#skip-navbar_bottom" title="Skip navigation links"></a><a name="navbar_bottom_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/search/SearchJTextFieldPopupMenuListener.html" title="class in mmj.search"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/search/SearchOptionsButtonAttr.html" title="class in mmj.search"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/search/SearchMgr.html" target="_top">Frames</a></li>
<li><a href="SearchMgr.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_detail">Method</a></li>
</ul>
</div>
<a name="skip-navbar_bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
